Efficient Incremental Validation of XML Documents After Composite Updates
نویسندگان
چکیده
We describe an efficient method for the incremental validation of XML documents after composite updates. We introduce the class of Bounded-Edit (BE) DTDs and XML Schemas, and give a simple incremental revalidation algorithm that yields optimal performance for them, in the sense that its time complexity is linear in the number of operations in the update. We give extensive experimental results showing that our algorithm exhibits excellent scalability. Finally, we provide a statistical analysis of over 250 DTDs and XML Schema specifications found on the Web, showing that over 99% of them are in fact in BE.
منابع مشابه
Updates and Incremental Validation of XML Documents
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the new document still conforms to the imposed constraints. Incremental validation of updates leads to significant savings on computing time when compared to brute-force validation of an updated document from scratch. This p...
متن کاملA Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates
This paper extends our previous work by showing our grammarware as a generic way for validating XML integrity constraints, both from scratch and incrementally during document updates. Indeed, our generic attribute grammar can stand for any XML constraint validator, provided that the constraint is defined with paths. We specify a common definition framework for seven classes of XML integrity con...
متن کاملValidation of XML Document Updates Based on XML Schema in XML Databases
We study the validation of XML documents when they are updated in XML databases. An XML document can be verified by checking against an XML Schema, which contains structure and type information of XML documents. However, most of XML database systems just validate the whole XML document, but can not validate parts of it. If updates are very frequent, then validating the whole XML document will c...
متن کاملIntegrating Correction into Incremental Validation
Many data on the Web are XML documents. An XML document is an unranked labelled tree. A schema for XML documents (for instance a DTD) is the specification of their internal structure: a schema is a tree grammar, and validating a document w.r.t. a schema is done by a running of a tree automaton. Given a document, valid w.r.t. a DTD, and a sequence of updates (insertions, deletions and replacemen...
متن کاملIncremental Maintenance of Schema-based Xml Statistics
Current approaches for estimating the cardinality of XML queries are applicable to a static scenario wherein the underlying XML data does not change subsequent to the collection of statistics on the repository. However, in practice, many XML-based applications are dynamic and involve frequent updates to the data. In this paper, we investigate efficient strategies for incrementally maintaining s...
متن کامل